klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc --follow=descriptor missing
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc --follow=name missing
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc --follow=name no-such
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc --retry file
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc --retry missing
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc --version
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -f ---disable-inotify here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -f -s.1 --pid=1564 here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -f -s.1 --pid=1632 ---disable-inotify here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -f -s.1 --pid=2147483647 ---disable-inotify empty
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -f -s.1 --pid=2147483647 empty
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -f -s10 --pid=2147483647 ---disable-inotify empty
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -f -s10 --pid=2147483647 empty
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -f here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -retry ///s\x01\x00g\x00
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -retry abc.txt
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s.1 --follow=descriptor --retry missing
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s.1 --follow=name --retry missing
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s.1 --max-unchanged-stats=2 -F ---disable-inotify k
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s.1 --max-unchanged-stats=2 -F k
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -F ---disable-inotify here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -F ---disable-inotify not_here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -F ---disable-inotify unreadable
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -F here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -F not_here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -F unreadable
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -f ---disable-inotify here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -f ---disable-inotify not_here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -f ---disable-inotify unreadable
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -f here
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=3600 -use -max-solver-time=30 --disable-verify tail.bc -s0.1 -f not_here
